constructive definition造句

The usual constructive definition in the case of algebraic varieties proceeds in steps.
The following gives a more constructive definition.
It is difficult to make a good constructive definition of the Monster because of its complexity.
In this breakthrough result, a stricter requirement was imposed upon the problem formulation than in the original non-constructive definition.
It did not alter the original 1927 Act's constructive definition of " seaman " as " master or member of a crew of any vessel ."
It's difficult to find constructive definition in a sentence. 用constructive definition造句挺难的

To see how this relates to the constructive definition, think of the mapping from " S " to " F S " as sending each symbol to a word consisting of that symbol.
It might appear that this is the non-constructive equivalent of the constructive definition using iterated exponentiation; but the two definitions are equally non-constructive at steps indexed by limit ordinals, which represent transfinite recursion of a higher order than taking the supremum of an exponential series.
The current standard axiomatic definition is that real numbers form the unique field up to an isomorphism, whereas popular constructive definitions of real numbers include declaring them as equivalence classes of Cauchy sequences of rational numbers, Dedekind cuts, or infinite decimal representations, together with precise interpretations for the arithmetic operations and the order relation.